Safety-Critical Learning Of Robot Control With Temporal Logic Specifications

Safety-Critical Learning of Robot Control with Temporal Logic Specifications

Stanford Seminar - Safety-Critical Control of Dynamic Robots

Stanford Online

Safe-Critical Modular Deep Reinforcement Learning with Temporal Logic

Explainable Robotics Lab

Talk Binghan He on Barrier-Pairs RRT - CDC 2020

UT Human Centered Robotics Lab

Richard Murray: "Can We Really Use Machine Learning in Safety Critical Systems?"

Institute for Pure & Applied Mathematics (IPAM)

Optimal Robust Safety-Critical Control for Dynamic Robotics

Hybrid Robotics

RSS 2021, Early Career Keynote: Jana Tumova — Formal methods for robot planning

Robotics Science and Systems

Multi-Layered Safety for Legged Robots via Control Barrier Functions and Model Predictive Control

Robotic Systems Lab: Legged Robotics at ETH Zürich

Introduction to LTL

Stanford Seminar - Robots in Dynamic Tasks: Learning, Risk, and Safety

Stanford Online

Local Observation Based Reactive Temporal Logic Planning of Human-Robot Systems Vol. 1（Build Blocks)

Aaron Ames: "Safety-Critical Control of Autonomous Systems"

Institute for Pure & Applied Mathematics (IPAM)

SMC-based Linear temporal logic motion planning for teams of robots

Resilient Cyber-Physical Systems Lab

Safe and Robust Motion Planning for Dynamic Robotics via Control Barrier Functions

Dynamic Robotics and Control Laboratory

Rule-Based Safety-Critical Control Design using CBFs with Application to Autonomous Lane Change

Hybrid Robotics

SMC-based Linear temporal logic motion planning for teams of robots

Resilient Cyber-Physical Systems Lab

CoRL 2020, Spotlight Talk 498: Learning from Demonstrations using Signal Temporal Logic

Conference on Robot Learning

Deep RL for Continuous Control in Cluttered Environments from Temporal Logic Specifications

Differentiable Predictive Control with Safety Guarantees: A Control Barrier Function Approach